schweiz politik systemc bern partei eda spd functional verification fpga suisse asic fdp design soc liberal deutschland analog